Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
751	A Simple Semantics for Haskell Overloading J. Garrett Morris University of Edinburgh Abstract Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-06-27 05:38:59 Logic Denotational semantics Admissible rule Orbifold Μ operator Mathematical logic Theoretical computer science Symbol
752	A Practical Logic Framework for Verifying Safety Properties of Executables Lu Zhao Guodong Li Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2011-08-02 14:55:47 Mathematics Hoare logic Separation logic Axiomatic semantics Assertion Postcondition Precondition Judgment Rust Theoretical computer science Logic in computer science Mathematical logic
753	CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 On the d-Runaway Rectangle Escape Problem Aniket Basu Roy∗, Sathish Govindarajan∗, Neeldhara Misra∗, Shreyas Shetty∗ Abstract Add to Reading List Source URL: drona.csa.iisc.ernet.in Language: English - Date: 2014-08-01 08:36:52 Logic Quadrilaterals Rectangle Bin Algorithm Special case R-tree Hilbert R-tree Packing problem Mathematical logic Geometry Mathematics
754	A Short Tutorial for FoCaLize: Implementing Sets The FoCaLize Team JulyUpdated DecemberContents Add to Reading List Source URL: focalize.ensta-paristech.fr Language: English - Date: 2014-10-14 06:07:24 General topology Set theory Subset Closure OCaml Mathematical proof Support Mathematics Topology Mathematical logic
755	Perspectives in Logic ASL Order Form Perspectives in Mathematical Logic was initiated in 1969 by the Omega Group. Initially it was supported by a grant from the Stiftung Volkswagenwerk and appeared under the auspices of Add to Reading List Source URL: www.aslonline.org Language: English - Date: 2010-07-13 12:44:32 Science Association for Symbolic Logic Mathematical logic Model theory Logic Philosophy Philosophical logic
756	On the topological complexity of weakly recognizable tree languages Jacques Duparc1 and Filip Murlak2? 1 Universit´e de Lausanne, Switzerland Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2007-06-16 19:01:23 Mathematical logic Mathematics Omega language Tree Wadge hierarchy Determinacy Symbol Regular language Ω-automaton Automata theory Formal languages Theoretical computer science
757	Syntax-Guided Synthesis Rajeev ALUR a , Rastislav BODIK b , Eric DALLAL c , Dana FISMAN a , Pranav GARG d , Garvit JUNIWAL b , Hadas KRESS-GAZIT e , P. MADHUSUDAN d , Milo M. K. MARTIN a , Mukund RAGHOTHAMAN a , Shamwadi Add to Reading List Source URL: sygus.seas.upenn.edu Language: English - Date: 2015-01-10 00:32:21 Predicate logic Theoretical computer science Formal methods NP-complete problems First-order logic Satisfiability Modulo Theories Expression Type system Function Mathematics Logic Mathematical logic
758	´ Lecture at Ecole Jeunes Chercheurs en Programmation (EJCPProgramming and Proving: Practice with FoCaLiZe Add to Reading List Source URL: focalize.ensta-paristech.fr Language: English - Date: 2014-10-14 06:07:22 Mathematical logic Mathematical proofs Logical syntax Deduction Proof assistant Natural deduction Coq Theorem Automated proof checking Logic Mathematics Proof theory
759	Lowness Properties and Approximations of the Jump Santiago Figueira ∗ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2007-07-08 19:58:00 Theoretical computer science Mathematical logic Theory of computation Recursion Primitive recursive function Function Μ operator Fixed-point combinator Mathematics Computability theory Functions and mappings
760	Braids of Partitions Bangalore Ravi Kiran, Jean Serra To cite this version: Bangalore Ravi Kiran, Jean Serra. Braids of Partitions. 2015. Add to Reading List Source URL: hal.archives-ouvertes.fr Language: English - Date: 2015-03-23 06:35:46 Forcing Partition of a set Constructible universe Ordinal number Segmentation Partition Mathematics Mathematical logic Combinatorics